7

Polymorphic lambda calculus: the Church-Rosser property

Year:
1991
Language:
english
File:
PDF, 366 KB
english, 1991
12

Functional interpretation of the β-rule

Year:
1985
Language:
english
File:
PDF, 945 KB
english, 1985
13

Church-Rosser theorem for typed functional systems

Year:
1985
Language:
english
File:
PDF, 625 KB
english, 1985
16

Query Rewriting Under Ontology Change

Year:
2016
Language:
english
File:
PDF, 331 KB
english, 2016